correct the documentation of where the Xen cpuid leaves can be found
authorAndrew Cooper <andrew.cooper3@citrix.com>
Thu, 23 Oct 2014 08:20:40 +0000 (10:20 +0200)
committerJan Beulich <jbeulich@suse.com>
Thu, 23 Oct 2014 08:20:40 +0000 (10:20 +0200)
commit9d361be3ccbb922ea7f0b8a73a8688f59765fd4c
treedb1865b95f8e3614db33e6c2bf892790ed7f1274
parent93e52d5242804ff928131553599afa769f85481b
correct the documentation of where the Xen cpuid leaves can be found

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/include/public/arch-x86/cpuid.h